EXTRA_DIST=\
	solver.h smurfs.h hr_lsgb.h fn_smurf.h fn_or.h fn_xor.h fn_minmax.h \
	fn_negminmax.h display.h bb_gelim.h bb_lemmas.h restarts.h fn_inference.h
